941. Self-regularity: a new paradigm for primal-dual interior-point algorithms
پدیدآورنده : Peng, Jiming
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Mathematical optimization,، Interior-point methods,، Programming )Mathematics(
رده :
QA
402
.
5
.
P4185
942. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
943. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
944. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده : Draheim, Dirk, 9691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
945. Semi-Infinite programming and applications : an international symposium Austin, Texas, September 8-10, 1981
پدیدآورنده : / Edited by A. V. Fiacco, K. O. Korta
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming (Mathematics) - Congresses,Mathematics optimization - Congresses,Daulity theory Mathematics - Congresses
رده :
QA402
.
5
.
S428
1983
946. Semi-infinite programming and applications : an international symposium, Austin, Texas, September 8-10, 1981
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming ]Mathematics[-- Congresses,، Mathematical optimization-- Congresses,، Duality theory ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
S428
1983
947. Semi-infinite programming
پدیدآورنده : edited by Rembert Reemtsen, Jan-J. Ruckmann
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Linear programming , Programming )Mathematics(
رده :
T
57
.
74
.
S535
1998
948. Semi-infinite programming
پدیدآورنده : edited by Rembert Reemtsen, and Jan-J. Ruckmann
موضوع : Linear programming,Programming (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
949. Semi-infinite programming
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Linear programming,، Programming )Mathematics(
رده :
T
57
.
74
.
S535
1998
950. #Sensitivity, stability, and parametric analysis
پدیدآورنده : #edited by Anthony V. Fiacco , B. Bank ... ]et al.[
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Programming )Mathematics(
رده :
#
QA
،#.
S46
،#
1984
951. Sensitivity,stability,& parametric analysis
پدیدآورنده : FIACCO,ANTHONY V ED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : PROGRAMMING )MATHEMATICS(-ADDRESSES,
رده :
QA
402
.
5
.
S46
952. Set-valued optimization :an introduction with applications
پدیدآورنده : Khan, Akhtar A
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Duality theory )Mathematics(,، Programming )Mathematics(,، Set-valued maps,، Mathematical optimization
رده :
QA
402
.
5
.
K45
2015
953. Set-valued optimization: an introduction with applications
پدیدآورنده : Khan, Akhtar A
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Duality theory )Mathematics(,، Mathematical optimization,، Set-valued maps,، Programming )Mathematics(
رده :
QA
1
.
K45
2015
954. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
955. Simplicial global optimization
پدیدآورنده : Remigijus Paulavičius, Julius Žilinskas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis.,Mathematics.,Nonconvex programming.
956. Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : COMPUTERS / Programming / General ; Mathematics ; Science ; Sciences ;
957. Solution manual opertions research an introduction
پدیدآورنده : Taha, Hamdy A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Handbooks, manuals, etc ، Operations research,، Programming )Mathematics(
رده :
T
57
.
6
.
T32
1987
manual
958. Some vistas of modern mathematics:dynamics programming,invariant
پدیدآورنده : BELLMAN,RICHARD ERNEST
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : PROGRAMMING )MATHEMATICS(-ADDRESSES, , INVARIANT IMBEDDING-ADDRESSES,ESSAYS, , BIOMATHEMATICS-ADDRESSES,
رده :
QA
264
.
B45
959. Stochastic versus fuzzy approaches to multiobjective mathematical programming under uncertainty
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(,، Fuzzy systems,، Stochastic processes
رده :
QA
402
.
5
.
S74
1990
960. Stochastic versus fuzzy approaches to multiobjective mathematical programming under uncertainty
پدیدآورنده : edited by Roman Slowinski, Jacques Teghem
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming )Mathematics(,، Fuzzy systems,، Stochastic processes
رده :
QA
402
.
5
.
S74
1990
